搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书(共13382本)

	Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems 0 索取号：作者：Jensen、 Kurt.、Kristensen、 Lars M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Informatics in Control, Automation and Robotics [electronic resource] : Selcted Papers from the International Conference on Informatics in Control, Automation and Robotics 2008 0 索取号：作者：Cetto、 Juan Andrade.、Ferrier、 Jean-Louis.、Filipe、 Joaquim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Intelligent Unmanned Systems: Theory and Applications [electronic resource] 0 索取号：作者：Budiyono、 Agus.、Riyanto、 Bambang.、Joelianto、 Endra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Turbulence and Interactions [electronic resource] : Keynote Lectures of the TI 2006 Conference 0 索取号：作者：Deville、 Michel.、L锚、 Thien-Hiep.、Sagaut、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings 0 索取号：作者：Leuschel、 Michael.、Wehrheim、 Heike.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Discontinuous Dynamical Systems on Time-varying Domains [electronic resource] 0 索取号：作者：Luo、 Albert C. J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings 0 索取号：作者：Roedig、 Utz.、Sreenan、 Cormac J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers 0 索取号：作者：Rahwan、 Iyad.、Moraitis、 Pavlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Communications and Networking in China [electronic resource] : 1st International Business Conference, Chinacombiz 2008, Hangzhou, China, August 2008, Revised Selected Papers 0 索取号：作者：Bond、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings 0 索取号：作者：Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Operations Research Proceedings 2008 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) University of Augsburg, September 3-5, 2008 0 索取号：作者：Fleischmann、 Bernhard.、Borgwardt、 Karl-Heinz.、Klein、 Robert.、Tuma、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Organizations [electronic resource] : Social Systems Conducting Experiments 0 索取号：作者：Achterbergh、 Jan.、Vriens、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Intelligent and Evolutionary Systems [electronic resource] 0 索取号：作者：Gen、 Mitsuo.、Green、 David.、Katai、 Osamu.、McKay、 Bob.、Namatame、 Akira.、Sarker、 Ruhul A.、Zhang、 Byoung-Tak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers 0 索取号：作者：Svensson、 Lars.、Monteiro、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Ultrafast Phenomena XVI [electronic resource] : Proceedings of the 16th International Conference, Palazzo dei Congressi Stresa, Italy, June 9--13, 2008 0 索取号：作者：Corkum、 Paul.、Silvestri、 Sandro.、Nelson、 Keith A.、Riedle、 Eberhard.、Schoenlein、 Robert W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 24-30, 2009. Proceedings 0 索取号：作者：Nielsen、 Mogens.、Ku膷era、 Anton铆n.、Miltersen、 Peter Bro.、Palamidessi、 Catuscia.、T暖ma、 Petr.、Valencia、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

	Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems 0 索取号：作者：Jensen、 Kurt.、Kristensen、 Lars M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Informatics in Control, Automation and Robotics [electronic resource] : Selcted Papers from the International Conference on Informatics in Control, Automation and Robotics 2008 0 索取号：作者：Cetto、 Juan Andrade.、Ferrier、 Jean-Louis.、Filipe、 Joaquim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Intelligent Unmanned Systems: Theory and Applications [electronic resource] 0 索取号：作者：Budiyono、 Agus.、Riyanto、 Bambang.、Joelianto、 Endra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Turbulence and Interactions [electronic resource] : Keynote Lectures of the TI 2006 Conference 0 索取号：作者：Deville、 Michel.、L锚、 Thien-Hiep.、Sagaut、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings 0 索取号：作者：Leuschel、 Michael.、Wehrheim、 Heike.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Discontinuous Dynamical Systems on Time-varying Domains [electronic resource] 0 索取号：作者：Luo、 Albert C. J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings 0 索取号：作者：Roedig、 Utz.、Sreenan、 Cormac J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers 0 索取号：作者：Rahwan、 Iyad.、Moraitis、 Pavlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Communications and Networking in China [electronic resource] : 1st International Business Conference, Chinacombiz 2008, Hangzhou, China, August 2008, Revised Selected Papers 0 索取号：作者：Bond、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings 0 索取号：作者：Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Operations Research Proceedings 2008 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) University of Augsburg, September 3-5, 2008 0 索取号：作者：Fleischmann、 Bernhard.、Borgwardt、 Karl-Heinz.、Klein、 Robert.、Tuma、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Organizations [electronic resource] : Social Systems Conducting Experiments 0 索取号：作者：Achterbergh、 Jan.、Vriens、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Intelligent and Evolutionary Systems [electronic resource] 0 索取号：作者：Gen、 Mitsuo.、Green、 David.、Katai、 Osamu.、McKay、 Bob.、Namatame、 Akira.、Sarker、 Ruhul A.、Zhang、 Byoung-Tak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers 0 索取号：作者：Svensson、 Lars.、Monteiro、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Ultrafast Phenomena XVI [electronic resource] : Proceedings of the 16th International Conference, Palazzo dei Congressi Stresa, Italy, June 9--13, 2008 0 索取号：作者：Corkum、 Paul.、Silvestri、 Sandro.、Nelson、 Keith A.、Riedle、 Eberhard.、Schoenlein、 Robert W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 24-30, 2009. Proceedings 0 索取号：作者：Nielsen、 Mogens.、Ku膷era、 Anton铆n.、Miltersen、 Peter Bro.、Palamidessi、 Catuscia.、T暖ma、 Petr.、Valencia、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.